A maioria, talvez todas, as lógicas não-clássicas são um amálgama da lógica clássica com elementos extralógicos. Possivelmente esta tese nao possui uma prova geral, mas somente um argumento caso a caso possa ser fomecido. Discuto um caso de paraconsistência que resulta da aplicação de urn "filtro" a duas silogísticas. Essas silogísticas incorporam duas idéias de Nikolai Vasiliev: a idéia de um sistema completo de juízos contrários, e a idéia de juízos duplos. Tarnbém mostro como esses resultados podem ser (...) estendidos à lógica proposicional, com a ajuda das formas nornais conjuntiva e disjuntiva. Apesar da aparencia não-clássica, utilize-se, sem exceção, a noção clássica de validade dedutiva: uma conclusão não pode veicular mais inforrnação, mas pode veicular menos inforrnação, do que a informação veiculada pelo conjunto das premissas. (shrink)

Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided. I discuss a case of paraconsistency that results of applying a “filter” to two syllogistics. These syllogistics incorporate two ideas of Nikolai Vasiliev: the idea of a complete system of contrary judgements, and the idea of double judgements. I also show how these results can be extended to propositional logic, with the (...) aid of the conjunctive and disjunctive normal forms. Despite the non-classical appearance, it is used, without exception, the classical notion of deductive validity: a conclusion cannot carry more information, but may carry less information than the information carried by the collection of the premisses. (shrink)

É bem conhecida a oposição estabelecida por Kant entre experiência possível e dialética, na medida em que esta última é caracterizada como a “lógica da ilusão”. Ao mesmo tempo, o modo de pensar metafísico, que ocorre dialeticamente, em sentido kantiano, é uma tendência inevitável da razão, expressa na exigência formal de completude das categorias. Como o pensar, enquanto exercício livre da razão, é em si mesmo mais amplo do que a atividade de conhecer, própria do entendimento, o pensar contém o (...) conhecimento, embora este se qualifique pelas regras e pelos limites determinantes da objetividade. A pergunta que tentaremos formular é se essa relação continente-conteúdo não poderia configurar também uma dependência da experiência em relação ao raciocínio dialético, que estaria de algum modo indicada na função reguladora das idéias da razão. Nesse caso, a oposição formal entre conhecer e pensar seria inseparável da inclusão estrutural (dependência) da experiência no âmbito da razão. Na raiz do problema estaria talvez a tensão (dialética) entre a aspiração subjetiva de totalidade e as exigências objetivas de limitação e segmentação da experiência e a forma da experiência teria de ser finalmente concebida a partir de um fundo de inteligibilidade problemática. Dialectics and experienceThe separation of possible experience as objective knowledge and dialetics as a non-objective or non-theoretical knowledge is one of the most important aspects of kantian critical philosophy. But Kant also says that the activity of reason, as a pure thinking, has more amplitude than understanding knowledge. So we could say that theoric knowledge would depend on rational ( and non-theoretical) knowledge, as something contained in it. If we accept that, the consequence would be a relation of dependence between the form of objective knowledge and the background of a problematic – even doubtful – inteligible knowledge. (shrink)

Neste artigo discutimos alguns aspectos da lógica nos dias atuais. O propósito central é mostrar a evolução dessa disciplina. Começamos com uma breve introdução onde especificamos o que queremos dizer com o termo “lógica”. A seguir, exporemos e discutiremos o que consideramos ser algumas das principais áreas de investigação da lógica atual. Concluímos o artigo com algumas observações sobre lógicas não clássicas e seus impactos sobre a filosofia. Ao final do texto se encontram mais detalhes que apontam para (...) um aprofundamento e uma ampliação das questões aqui tratadas. (shrink)

Este texto procura explicitar alguns aspectos da interpretação bergsoniana de Aristóteles, sobretudo aqueles que fazem de Aristóteles um eminente representante do que Bergson denomina Filosofia das formas. A leitura bergsoniana procura mostrar que não há diferença significativa entre Aristóteles e Platão, na medida em que ambos comprometem-se com a fundação do conhecimento a partir da ontologia de Parmênides. Desta maneira, o quadro categorial aristotélico e o princípio ontológico da Forma da Formas, ou Forma Pura, tentam solucionar a aporia parmenídica remetendo (...) a imobilidade ao estranho lógico do conhecimento, ou a objetividade ao conhecimento das existências em seu caráter lógico. (shrink)

Ludwig Wittgenstein é unanimemente reconhecido como um dos pensadores mais marcantes do século xx, tendo influenciado decisivamente o debate filosófico da contemporaneidade. Apoiando-se não nas edições clássicas mas no espólio do autor, problematizando a formalidade sui generis característica daquele, esta obra propõe-se acompanhar o evoluir do pensamento wittgensteiniano, nos seus diferentes planos, determinando a metodologia que o vai definir, enquanto possibilidade concreta de compreensão da visão filosófica que lhe subjaz. Ao indagar toda a trajectória reflexiva que se estabelece entre (...) o anúncio inaugural do Tractatus e o do livro que no princípio dos anos 30 é projectado em contraposição àquele mas que nunca será concluído, Lógica, Ética, Gramática assume, na verdade, um carácter propedêutico, pretendendo lançar as bases para uma nova leitura da «segunda» filosofia wittgensteiniana, crítico-geneticamente definida em relação à «primeira». Este livro interessará, assim, a estudantes e investigadores de várias disciplinas filosóficas, nomeadamente Epistemologia, Ética, Filosofia da Linguagem, Lógica e Metodologia Filosófica, onde os apuramentos de Wittgenstein são incontornáveis, bem como a todos aqueles que trabalham em Filologia ou Teoria da Literatura. (shrink)

In Logical Forms Part II, Chateaubriand begins the Chapter on “Propositional Logic” by considering the reading of the ‘conditional’ by ‘implies’; in fact he states that:There is a confusion, as a matter of fact, and it runs deep, but it is a confusion in propositional logic itself, and the mathematician’s reading is a rather sensible one.After a careful, erudite analysis of various philosophical viewpoints of logic, Chateaubriand comes to the conclusion that:Pure propositional logic, as just characterized, belongs to ontological logic, (...) and it does not include a theory of deduction as a human activity. This is a part of epistemological logic, and is more closely connected to the applications of pure propositional logic.An implicit assumption in Chateaubriand’s reasoning appears to be that propositions have a timeless status. I will present arguments for the opposite viewpoint which leads to an analysis of Propositional Logic not covered under Chateaubriand’s monograph and perhaps resolves some conflicts therein; much as the conflict between the Intuitionist and Classical Mathematician on whether every function on the Reals is continuous is resolved by the realization that they are talking about different “entities”.Em Logical Forms II, Chateaubriand inicia o capítulo “Lógica Proposi-cional” considerando a leitura do ‘condicional’ como ‘implica’. De fato, ele diz o seguinte:Na verdade, existe uma confusão, e ela é profunda, mas é uma confusão na lógica proposicional ela mesma, e a leitura de um matemático é bastante sensível.Depois de uma análise cuidadosa e erudita dos vários pontos de vista filosóficos da lógica , Chateaubriand chega à conclusão que:A lógica proposicional pura, tal como aqui caracterizada, pertence à lógica ontológica, e não inclui uma teoria da dedução como atividade humana. Isto é parte da lógica epistemológica, e é mais intimamente conectada às aplicações da lógica proposicional.Uma premissa implícita no raciocínio de Chateaubriand parece ser a de que proposições têm um estatuto atemporal. Eu argumentarei em favor da visão oposta, que leva a uma análise da Lógica Proposicional não abordada no texto de Chateaubriand e que talvez resolva alguns conflitos. Muito do conflito entre Intuicionistas e Matemáticos Clássicos sobre se toda função sobre os números reais é contínua é resolvido pela compreensão de que eles estão falando de “entidades” diferentes. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre o (...) problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática. (shrink)

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado (...) de AGM-compatibilidade - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

Qual é o objeto da lógica? Seria a arte de bem conduzir o discurso? Mas conduzí-lo para onde, com que finalidade? Haveria uma normatividade independente, que definisse o racional independente do real? É Lacan que pergunta e nos responde no sem. XIX: “eu proponho definir o objeto da lógica como aquilo que produz a necessidade de um discurso. E afirmo que o simbólico, o imaginário e o real se afirmam nos impasses da lógica. ” (LACAN, 2011, p. 40). Muitos comentadores (...) encaram os recursos lógicos de Lacan como uma provocação, mas entendo que não, pois são muito coerentes com seus princípios, tanto lógicos, quanto linguísticos, antropológicos e principalmente matemáticos. (shrink)

O artigo procura mostrar alguns elementos da análise deleuziana da pintura de Francis Bacon, concentrando-se nos aspectos que permitem considerar tal pintura como visceralmente anti-representativa. A pintura de Bacon figura sensações, promovendo, ao mesmo tempo, a experimentação e novas corporeidades por meio dessa produção figural. Pensando as relações entre os corpos e as forças que atuam sobre eles, provocando as ondas sensoriais, Deleuze concebe a pintura em geral, e a de Bacon em particular, como paradoxal experiência histérica do pensamento, experiência (...) em que corpo e pensamento encontram-se maximamente articulados. (shrink)

Há pelo menos duas coisas que tornam o fenômeno da vagueza interessante. Primeiro, a vagueza está espalhada por toda a linguagem natural. Uma parte significativa das expressões de nossa linguagem são vagas e podemos encontrar a vagueza em expressões de diferentes categorias lógicas, como termos singulares, predicados e quantificadores. Por razões de simplicidade, contudo, ao longo deste artigo considero apenas o caso dos predicados vagos. Segundo, o fenômeno da vagueza está por trás de um difícil paradoxo, conhecido como Paradoxo (...) Sorites. Atualmente, há muitas tentativas de explicar esse fenômeno e resolver o Sorites, sendo uma delas a Teoria Trivalente da Vagueza. Essa teoria é interessante não apenas porque fornece uma explicação elegante da vagueza, acompanhada de uma solução engenhosa para o paradoxo em questão, mas também porque serve de base para a compreensão de outras teorias clássicas da vagueza. Tanto o Gradualismo como o Supervalorativismo, por exemplo, incorporam parte significativa de suas ideias centrais. A despeito disso, existem alguns sérios obstáculos para a Teoria Trivalente. Acredito que o principal deles é que ela falha em satisfazer pelo menos um dos três critérios de adequação para uma teoria ideal da vagueza: o critério da precisão. Meu objetivo é apresentar essa teoria e mostrar como essa dificuldade surge para ela. (shrink)

O artigo clarifica em que medida a Lógica, no sentido mais comum e até ingênuo do termo, enquanto composta pelas leis necessárias do pensamento correto, pode ser entendida como Mística. Isto parece estranho, pois a Mística é normalmente entendida como uma vivência de superação das dualidades, onde o pensamento racional colapsa e encontra seu limite. Já a Lógica é entendida como paradigma de pensamento racional. Argumenta-se que as leis mais gerais da razão e do discurso se relacionam com a Mística (...) na medida mesma em que o fundamento da razão é equacionado ao seu limite. A linguagem encontra-se assim com o silêncio e as leis e fundamentações não mais operam como tais. Conclui-se que a adesão necessária que acompanha o colapso entre o sentido e o valor de verdade de determinadas expressões linguísticas constitui o que chamamos de vivência mística. Trata-se de uma vivencia a qual somos conduzidos pelo próprio funcionamento de nossa significação e, ao mesmo tempo, institui o que se compreende por experiência religiosa. Palavras-chave : Mística. Wittgenstein. Lógica. Intensão. Extensão.This paper clarifies the extent to which Logic, in the usual sense (and even naïve) of the term, as composed of the correct thinking’s necessary laws, can be understood as Mystic. This seems strange, because the Mystic is usually understood as an experience of overcoming the dualities, where rational thinking collapses and finds its limit. On the other hand, the logic is understood as the paradigm of rational thinking. It is argued that the most general laws of reason and speech are related to Mystic in the sense that the foundation of the reason is equated to its limit. The language lies thus with the silence and the laws and justifications no longer operate as such. We conclude that the adherence necessary that accompanies the collapse of meaning and truth value of certain linguistic utterances is what we call mystical experience. It is about an experience to which we are led by the workings of our linguistics meaning, establishing what is meant by religious experience. Keywords: Mystic. Wittgenstein. Logic. Intension. Extension. (shrink)

In this paper I discuss the consistency and accuracy of Husserl’s sketch of a theory about non-declarative sentences in the last chapter of Logical Investigations. Whereas the consistency is acknowledged, the accuracy is denied, because Husserl’s treatment of non-declarative phrases such as questions or orders implies that those phrases contain, in some way, a declarative sentence and an objectifying act. To construct a question like “is A B?” as being equivalent to a pseudo-declarative sentence such as “I ask whether A (...) is B” is, however, a false phenomenological analysis, because to ask o r to order or to beg is not to assert. I turn, then, to John Austin ‘s theory of performative (as opposed to constatative) utterances and illocutionary acts in order to find a more accurate approach to the logical-semantic content of non-declarative sentences. Eventually, I show how this Husserlian theory of non-declarative sentences has a negative impact on the phenomenological theory of social ·acts and communication. (shrink)

Este artigo aborda a reação de Frege a Kant e questiona uma influente interpretação, defendida por Jim Conant, de acordo com a qual Frege subscreve os princípios essenciais da filosofia de Kant, nomeadamente a sua conceção antipsicologista avant la lettre da lógica pura. Eu defendo que existem diferenças profundas de ponto de vista entre eles, as quais alimentam o seu bem conhecido desacordo acerca da natureza da aritmética, e que a rejeição de Frege de algumas das premissas fundamentais da epistemologia (...) kantiana levou-o a uma forma bastante distinta de antipsicologismo. No centro da disputa Frege-Kant está um entendimento completamente diferente da objetividade, a qual aos olhos de Frege não pode ser concebida como uma expressão do nosso considerar algo verdadeiro, como resulta do enquadramento de Kant. (shrink)

Investiga-se a possibilidade de uma abordagem do fenômeno do pluralismo lógico a partir de uma perspectiva inspirada no pensamento de Quine. A matematização da lógica termina por levar à flexibilização da teoria lógica, logo surgindo, não apenas sistemas complementares e alternativos à lógica clássica, mas também a questão da admissibilidade de mais do que um sistema lógico. A tal posição se dá o nome “pluralismo lógico”. Quine foi um destacado defensor da lógica clássica a partir de uma perspectiva monista, ainda (...) que admitisse em princípio a possibilidade de sua revisão. Pode-se, contudo, investigar se as linhas gerais do pensamento quineano são compatíveis com uma perspectiva pluralista. Algumas possibilidades são levantadas tomando em consideração propostas como as teorias pluralistas de Carlo Dalla Pozza e Richard Epstein. Conclui-se que, embora Quine não concebesse a possibilidade de apoiar o pluralismo lógico, a sua filosofia ajuda a enquadrar e avaliar as maneiras de estudar o assunto. (shrink)

Em termos semânticos, a consequência lógica é definida costumeiramente a partir do valor de verdade das premissas e conclusão: esta é verdadeira em toda situação na qual aquelas o sejam. Pode-se entender que, nestes casos, a conclusão não contém mais informação do que o conjunto de premissas. Com base nesta ideia, desenvolvemos, neste artigo, uma definição de consequência lógica informacional, baseada na noção de informação sugerida na Teoria Matemática da Comunicação. Mostramos alguns resultados, tais como que, apesar de inconsistente, o (...) sistema subjacente a essa noção não é trivial e que a lógica subjacente à consequência lógica informacional não é clássica, mas algum tipo de lógica paraconsistente. (shrink)

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.

A finalidade do texto seguinte consiste na exposição de uma relação de promiscuidade entre a técnica e a ciência na obra de Jean-François Lyotard. A primeira etapa deste artigo consiste na apresentação de um problema referente à obra A condição pós-moderna, onde a noção de técnica aparece sobre uma perspectiva positivista. Aqui, a intimidade entre técnica e ciência é resultado da crise dos fundamentos das ciências na modernidade, crise oriunda do afastamento entre as ciências e os discursos que se prestavam (...) frequentemente à sua legitimação. Esses discursos, que Lyotard aproxima do modelo narrativo, e dos quais se destacam o discurso político de emancipação e o discurso filosófico especulativo, entram em declínio na condição pós-moderna. As ciências, desprovidas de motivações ou destinos humanistas, não resistem à lógica capitalista, e encontram o intermediário de sua relação com o capital na técnica. O critério da ciência deixa, pouco a pouco, de ser a busca pela verdade e passa a ser a busca pelo melhor desempenho. A segunda e conclusiva etapa do artigo, consiste, por sua vez, na radicalização dessa promiscuidade, e se refere principalmente ao livro O inumano. A assim chamada tecnociência corresponde à completa submissão da ciência à técnica: se a visão positivista de A condição pós-moderna vê na técnica um suplemento, uma prótese que dá assistência à pesquisa científica, no segundo livro, a ciência se mostra a prótese ou o suplemento da técnica, que se revela, não obstante, inumana. Nessa segunda parte do artigo, pretendo mostrar que a visão positivista da técnica não é, portanto, suficiente para compreender a relação promíscua que ela tem com a ciência, mostrando-se necessário o recurso à perspectiva clássica da mesma: é a partir da visão da técnica como produtividade cega da physis que alcançamos também o entendimento do caráter inumano da tecnociência. (shrink)

Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...) the hierarchy of Paracomplete Propositional Calculi Pn (0 ≤ n ≤ ω). In “Logics that are both paraconsistent and paracomplete” (1989), Newton da Costa proposed a system with approximate characteristics to what we are looking for. In the hierarchy of Non-Alethical Propositional Calculi Nn (0 ≤ n ≤ ω), only one negation is introduced (as primitive), called a “non-alethic” (¬n), whose operation preserves the properties of classical, or paraconsistent or paracomplete negation -- depending on the well or ill behavior of the formula connected to it. However, as we shall see, in the hierarchy Nn we can not reiterate negations with different behaviors in a same formula (e.g., ¬p¬cα or ¬q¬c¬p α), or even analyze a formula like ¬cα → ¬pα. In view of these problems, can we really say that the hierarchy Nn allows us to understand the relationships and interactions of the three types of negations? In order to deal with this, given the initial problem, we will present four axiomatic systems (KG) in which, unlike Nn, the three negations are directly introduced -- offering a semantics and a method of proofs by analytic tableaux. Through the KG Systems we will show how the negations interact, obtaining non-demonstrable theorems in LPC, Cn, Pn, and Nn (0 ≤ n ≤ ω). Finally, we will also offer a first-order extension for the KG Systems. (shrink)

Neste artigo defendo que a Teoria da Informação Fortemente Semântica de Floridi – TIFS – está correta ao assumir a Tese da Veracidade, que por sua vez orienta a definição de informação semântica como “p é informação se e somente se p é constituído por dados bem-formados, com significado e verdadeiros”. Argumento que a teoria não é arbitrária, pois dá conta do desembaraço de conundrums filosóficos importantes, principalmente por evitar o paradoxo de Bar-Hillel e Carnap, que é gerado a partir (...) da teoria clássica da informação semântica. Primeiro é discutido um dos principais resultados da teoria clássica, o de produzir “sentenças muito informativas para serem verdadeiras”. Depois são resumidas as motivações para a elaboração de uma “lógica de estar informado” e é mostrado como o sistema KTB-IL é montado e modelado mantendo-se entre os seus axiomas o da veracidade – K ou A4. Finalmente, a TIFS é examinada e defendida ao mostrar que ela restringe aleticamente a extensão do conceito clássico de informação para evitar problemas com tautologias e contradições. A TIFS oferece uma solução original ao capturar nossas intuições modais a respeito da informatividade como noção básica. (shrink)

O fenômeno da vagueza é quase onipresente na linguagem natural. Por um lado, a vagueza abrange variadas categorias lógicas, incluindo predicados, termos singulares e quantificadores. Por outro, é argumentável que a maioria das expressões em cada uma destas categorias, principalmente termos singulares e predicados, é vaga. Isto não seria um problema, não tivesse o fenômeno da vagueza relacionado ao paradoxo sorites, que supostamente mostra a incoerência destas expressões. O Supervalorativismo fornece uma explicação do fenômeno, acompanhado de uma solução do (...) paradoxo, que é interessante por pelo menos duas razões. Primeiro, é argumentável que esta teoria é a que melhor acomoda certa imagem intuitiva da vagueza, conhecida como indecisão semântica. Segundo, ela é relativamente conservadora com respeito à lógica clássica. Ao contrário de algumas rivais, como a Teoria Trivalente e o Gradualismo, o Supervalorativismo nos permite manter tanto o terceiro excluído como a não contradição. A despeito de suas aparentes vantagens, no entanto, a teoria carrega alguns sérios problemas. Com foco na categoria dos predicados vagos, meu objetivo neste artigo é mostrar que o Supervalorativismo falha em satisfazer pelo menos um de três critérios de adequação para uma teoria ideal da vagueza: o critério da precisão. O artigo é dividido em quatro seções. Na primeira, apresento o paradoxo sorites e três critérios de adequação para uma teoria ideal da vagueza: o critério do sorites, o critério da coerência e o critério da precisão. Na segunda e terceira, apresento o Supervalorativismo e sua solução para o paradoxo sorites. Por fim, argumento que, mesmo que a teoria satisfaça os dois primeiros critérios de adequação, ela certamente não satisfaz o terceiro. (shrink)

Em Intertexto, poema de B. Brecht, uma questão filosófica é tratada: por que devo preocupar-me com os outros? A alusão ao poema insere-nos de pronto no vértice desse trabalho. Trata-se do problema da alteridade. Percorreremos as abordagens clássicas da ética autocentrada, situando em cada uma delas um vício original, a saber, a confusão entre tempo e espaço. Fora dos marcos da metafísica bergsoniana, deixa-se de considerar uma dimensão da realidade, o tempo. O resultado será a constituição de uma ética (...) coadunada com a natureza das representações intelectuais - espaciais, portanto -, estruturada pela lógica da conservação, o que sacrificará necessariamente o alcance da universalidade, compreendida em seu sentido largo, a qual não será jamais, sob a perspectiva bergsoniana, alcançada sem o contato com o que há de mais íntimo no real, o tempo, o movimento criador. O caráter auto-referenciado da tradição ética aparecerá como desdobramento de um modo de vida (fechado) que orienta a confecção e interpretação da forma legal, atingido pela manifestação normal de nossas faculdades para estar e agir no mundo. (shrink)

Luiz Henrique Lopes dos Santos, em seu texto sobre "Leibniz e a questão dos futuros contingentes”, argumenta em favor de seu diagnóstico segundo o qual, no fundo, a principal diferença entre as doutrinas de Espinosa e Leibniz reside no fato de que o primeiro, diferentemente do segundo, não sabia lógica. Este texto procura objetar à sua posição, respondendo às críticas do autor à posição de Espinosa quanto à liberdade divina. Procurarei mostrar que, sob o aspecto preciso da articulação aí estabelecida (...) entre a distinção vontade/entendimento e a questão dos possíveis jamais realizados, ela não poderia estar disponível para a metafísica de Espinosa, não por ele ter ignorado um princípio básico da lógica modal, como alega o autor, mas porque ele compreende diferentemente o estatuto ontológico da unidade das coisas individuais e, portanto, dos agentes humanos. (shrink)

http://dx.doi.org/10.5007/1808-1711.2012v16n1p33 Falando informalmente, o Princípio da Identidade , um dos enunciados considerados como uma das principais “leis da lógica”, nos garante em uma de suas formulações mais conhecidas que todo objeto é idêntico a si mesmo. Sistemas de lógica não-reflexiva, grosso modo, são lógicas em que este princípio não é válido irrestritamente. Uma das dificuldades para estes sistemas provém do uso dos quantificadores: argumenta-se que para que os quantificadores façam sentido, devemos pressupor o conceito de identidade, e deste modo, (...) sistemas de lógica não-reflexiva empregando quantificadores pressupõe a validade de uma forma do princípio da identidade que se desejava derrogar. Argumentaremos que podemos compreender o uso da quantificação em sistemas não-reflexivos sem pressupor a identidade. Faremos isto tanto de um ponto de vista sintático quanto semântico. Finalizamos com algumas considerações sobre a linguagem natural e sua relação com sistemas não-reflexivos. (shrink)

Pascal assegura que acima de tudo ele preza a honestidade, mas tem um pensamento curto que diz “poète, et non honnête homme”. A ficção seria uma desonestidade. Outro pensamento comenta o provérbio latino “in vino veritas”, dizendo que é preciso não haver vinho demais nem vinho de menos para buscar a verdade. Se o vinho é o acesso ao subconsciente, isso significa que é preciso ampliar a racionalidade para além do âmbito consciente. Será que Pascal, saindo da ciência e se (...) tornando monge católico, era honesto a ponto de acusar os poetas de serem desonestos, por que não ver antes a desonestidade nas crenças? Ele acreditou na ficção do “milagre do espinho de Port Royal” e nas ficções produzidas por poetas em Roma sobre Cristo. (shrink)

O filósofo alemão Friedrich Heinrich Jacobi (1743-1819) foi um dos grandes representantes no período pós-kantiano de uma concepção de filosofia como harmonia entre discurso filosófico e modo de vida, ação e palavra. Este trabalho pretende mostrar como ele se aproxima do significado originário de filosofia (amor à sabedoria) e daquele que foi considerado o primeiro filósofo: Sócrates. O não saber socrático aparece como resposta privilegiada, porque é um sábio não saber, isto é, reconhece a limitação do conhecimento humano e busca (...) a sabedoria e virtude na conduta pessoal e na prática de vida. Jacobi aponta para o conflito da filosofia moderna consigo mesma, isto é, de uma filosofia que almeja a unidade e a plena coerência lógica e, com isso, se distancia do seu sentido mais próprio. (shrink)

ResumoO texto aqui apresentado pretende dar uma pequena contribuição à discussão sobre a relação entre lógicae ontologia na filosofia kantiana. Seu objetivo é mostrar como Kant segue a lógica dos wolffianos, mantendosua abordagem geral, não sem introduzir algumas mudanças importantes. Ao contrário dos filósofosdogmáticos, Kant, como se sabe, enfatiza a neutralidade ontológica e epistemológica da lógica geral, diferenciando-a da lógica transcendental, que apresenta as condições universais necessárias apenas com basenas quais se pode falar de conhecimento objetivo. Leibniz, Wolff e seus (...) seguidores teriam negligenciadoessa distinção e dado à lógica geral um significado ontológico e heurístico, que absolutamente não lhepertence. Este artigo examina até que ponto essa versão da lógica dogmática, tão bem construída por Kante geralmente aceita pelos estudiosos, é confiável; tenta também mostrar que Kant flerta aqui e ali comasserções ontológicas e, ao fazê-lo, sua lógica também funciona como uma heurística. Os juízos categóricoe hipotético, bem como seus respectivos silogismos, serão aqui examinados em sua relação recíproca comocasos emblemáticos desse uso menos neutro da lógica formal por Kant. Além disso, espera-se que esteexame revele alguns dos procedimentos metódicos seguidos pelo filósofo em sua investigação conceitual,modo de proceder que, embora respeitando estritamente as regras lógicas estabelecidas, introduz modulaçõesdentro dessas mesmas regras, para enfrentar os desafios do pensamento crítico.Palavras-chave: Kant, lógica, ontologiaAbstractThe text presented here intends to make a small contribution to the discussion on the relationship betweenlogic and ontology in Kantian philosophy. Its purpose is to show how Kant follows the logic of theWolffians, maintaining their general approach, not without introducing some important changes. Unlikedogmatic philosophers, Kant, as is well known, lays stress on the ontological and epistemological neutralityof general logic, differentiating it from transcendental logic, which presents the necessary universal conditionsonly on the basis of which one can speak of objective knowledge. Leibniz, Wolff and his followerswould have neglected this distinction and given general logic an ontological and heuristic meaning, whichabsolutely does not belong to it. This article examines to what extent this version of dogmatic logic, so wellconstructed by Kant and generally accepted by the scholars, is reliable; it also tries to show that Kant flirtshere and there with ontological assertions and, in doing so, his logic also functions as a heuristic. The categoricaland the hypothetical judgments, as well as their respective syllogisms, will be examined here in theirreciprocal relationship as emblematic cases of this less neutral use of formal logic by Kant. Furthermore, thisexamination will hopefully reveal some of the methodical procedures followed by the philosopher in hisconceptual investigation, a way of proceeding that, although strictly respecting the established logical rules,introduces modulations within these same rules, to face the challenges of the critical thought. (shrink)

Durante aproximadamente vinte séculos o que se entendia predominantemente como ciência era a ontologia clássica, entretanto, a partir da modernidade ela começou a perder o status de cientificidade e foi a filosofia crítica de Kant que de forma radical apontou para a sua impossibilidade enquanto ciência. Hegel, porém, acha que a ciência só é verdadeiramente efetiva enquanto ontologia, de modo que ele toma como tarefa de sua filosofia o resgate da ontologia enquanto ciência. Neste horizonte, Hegel através da ontologização da (...) lógica se propõe a resgatar a ontologia enquanto ciência, porém esta é uma nova concepção de ontologia e se apresenta como crítica em relação à ontologia clássica e a crítica kantiana à ontologia clássica. (shrink)

O artigo tenta reconstruir alguns elementos acerca da passagem da Lógica da essência para a Lógica do conceito, da necessidade para a liberdade, na Ciência da Lógica hegeliana. No contexto da publicação dos duzentos anos dessa obra filosófica, a explicitação dessa passagem é referencial para a compreensão da Ciência da Lógica e de todo o pensamento hegeliano. O artigo procura sustentar que o binômio necessidade/contingência, um dos pares categoriais da Lógica da essência, não é adequado para a articulação da filosofia (...) hegeliana. Como Hegel afirma reiteradas vezes, é preciso superar a dura necessidade para dar lugar à lógica da liberdade. Para a discussão da problemática, a confrontação entre algumas categorias da essência, tais como substancialidade, necessidade, contingência e causalidade, e algumas categorias do conceito, tais como universalidade, particularidade e singularidade é o foco da exposição. Dessa discussão brota a noção hegeliana de liberdade e a sua relação com o sistema. (shrink)

Embora ser pessoal desempenhe um papel importante na filosofia de G.W.F. Hegel, ele nunca forneceu uma definição compreensiva de personalidade. Dentro do arcabouço de seus trabalhos, é, então, possível formular diferentes definições de pessoa e personalidade e algumas definições conflitantes foram apresentadas entre hegelianos durante as décadas de 1830 e 1840. Nesse artigo, examino o papel da personalidade no sistema de Hegel e discuto a relação entre personalidade e metafísica. A questão deve ser analisada no contexto dos vários trabalhos de (...) Hegel e contrastada com dois precursores importantes de Hegel, I. Kant e J.G. Fichte. Tentarei também por a filosofia do hegeliano finlandês J.V. Snellman sob escrutínio. O artigo também indica a importância da lógica à metafísica hegeliana e a sua concepção de personalidade. (shrink)

Para deleite dos religiosos, a história da filosofia oficial − que continua, ao que parece, infectada pelo espírito teológico − consagrou a "aposta de Pascal" como uma das soluções modelares ao problema ético suscitado pela questáo clássica da existência ou náo de Deus. No raciocínio de Blaise Pascal (1623-1662), aquele que aposta na existência do deus judaico-cristáo ganhará a felicidade eterna caso ele efetivamente exista; em contrapartida, uma vez sendo este Deus uma realidade, a aposta na sua inexistência resultará na (...) danaçáo do apostador equivocado. Ocorre que a história da filosofia oficial parece desconhecer a alternativa ateísta que Denis Diderot (1713-1784) propõe a essa questáo das conseqüências da existência ou náo de Deus na vida e na morte dos seres humanos. Lançando máo de uma fábula que permite uma analogia com o tema do ateísmo, em que um ateu, depois de morrer, constata que a alma é de fato imortal, que Deus realmente existe, e que, portanto, náo ter tido fé em vida náo foi uma aposta inteligente, Diderot, no seu Diálogo de um filósofo com a Marechala de... (1774), reflete sobre os desdobramentos para o ateu dessa experiência inesperada. É sobre essa náo-aposta do ateu que trata este artigo. Palavras-chave : Aposta de Pascal, Ateísmo, Deus, Diderot, Virtude. (shrink)

O artigo propõe problematizar ou inquirir sobre as relações lógicas [ e não apenas uma – como é normalmente defendido pelos comentadores imanentistas ] entre Deus ou substância e o universo dos modos em Spinoza (1632-1677), provando, ao seu fim, a hipótese de que podem [tais relações] ser devidamente demarcadas como de transcendência e de imanência em conciliação. Para tanto, o trabalho efetua o estudo do escólio da EIPXXIX [condição da prova] sob o apoio de outras passagens da Ethica (...) (1677) e de obras complementares de Spinoza. (shrink)

Os principais objetivos do artigo podem ser formulados da seguinte forma: a) Hegel tem uma noção forte de contingência. Contingência não é, para ele, a ausência simples de necessidade, tampouco subdeterminidade simples. Contingencia é uma noção original, que tem o mesmo peso e a mesma dignidade lógica e metafísica que a noção de necessidade; b) essa noção forte de contingência é decisiva para a concepção de Hegel de subjetividade na medida em que pode ser remetida a sua filosofia do real. (...) À diferença do que é assumido em muitas outras interpretações comuns de Hegel, sugiro que a possibilidade de ir da necessidade à contingência caracteriza uma parte essencial da liberdade subjetiva, tanto quanto a possibilidade de ir contingência à necessidade. Isso tem consequências importantes, especialmente na filosofia da história, que aparece não como apriorística ou dogmática, mas como aberta à contingencia ; e, c) consistentemente com o reconhecimento da irredutibilidade da contingencia à conceitos a priori, Hegel também reconhece a necessidade da narração não-filosófica da contingência e nos fornece algumas pistas importantes sobre isso e sobre sua relação com a filosofia. Ao longo da minha argumentação dessas três teses, espero fornecer evidências para a tese de que a construção dogmática na filosofia da história de Hegel pode ser atenuada pela referência ao entendimento de Hegel da contingência. Em uma escala geral, isso também mostra que o fundamento lógico da filosofia do real de Hegel não pode ser abandonado sem que se prejudique o potencial da filosofia de Hegel de contribuir aos debates filosóficos contemporâneos. Meu argumento estrutura-se como se segue. Eu irei, primeiramente, comentar algumas passagens da Ciência da Lógica de Hegel do começo da Lógica Subjetiva sobre a lógica da contingência e a presença da contingência na estrutura lógica da subjetividade. Eu irei, então, ilustrar, com referência a um caso específico, o papel desempenhado pela contingência na filosofia hegeliana da história. Na última seção, discutirei a relação entre verdade e contingência, por um lado, e filosofia e narratividade, por outro, tentando esboçar as principais linhas da narração da contingência sob bases hegelianas. (shrink)

A tradição filosófica das abordagens da moral tem predominantemente como base conceitos e teorias metafísicas e teológicas. Entre os conceitos tradicionais de ética, o mais proeminente é a Teoria do Comando Divino (TCD). De acordo com a TCD, Deus dá fundamentos morais à humanidade desde sua criação e por meio de revelações. Assim, moralidade e divindade seriam inseparáveis desde a civilização mais remota. Esses conceitos submergem em uma estrutura teológica e são principalmente aceitos pela maioria dos seguidores das três tradições (...) Abraâmicas: judaísmo, cristianismo e islamismo, abrangendo a parte mais considerável da população humana. Mantendo a fé e a Revelação como seus fundamentos, as Teorias do Comando Divino não estão estritamente sujeitas a qualquer tipo de demonstração. Os oponentes da concepção moral do Comando Divino, fundamentados na impossibilidade de demonstrar suas suposições metafísicas e religiosas, tentam há muitos séculos (embora sem sucesso) desvalorizar sua importância. Eles sustentam o argumento de que a teoria não mostra evidências materiais e coerência lógica e, por esse motivo, não pode ser levada em consideração para fins científicos ou filosóficos. É apenas uma crença e, como tal, deve ser entendida. Além dessas oposições extremas, muitos outros conceitos atacam as teorias do Comando Divino, de uma ou de outra maneira, em parte ou na totalidade. Muitos filósofos e cientistas sociais, da clássica filosofia grega até a presente data, por exemplo, sustentam que a moralidade é apenas uma construção e, portanto, culturalmente relativa e culturalmente determinada. No entanto, isso traz muitas outras discussões e impõe o desafio de determinar qual é o significado da cultura, quais elementos da cultura são moralmente determinantes e, finalmente, quais são os limites dessa relatividade. Os deterministas morais, por sua vez, afirmam que tudo relacionado ao comportamento humano, incluindo a moralidade, é determinado em suas causas, uma vez que o livre-arbítrio não existe. Mais recentemente, os pensadores modernos argumentaram que existe uma rigorosa ciência da moralidade. No entanto, o método científico por si só, apesar de explicar vários fatos e evidências, não pode esclarecer todo o conteúdo e todo o significado da ética. A compreensão moral exige uma percepção mais ampla e um acordo entre os filósofos, que eles nunca alcançaram. Todas essas perguntas têm muitas configurações diferentes, dependendo de cada linha filosófica, e iniciam análises complexas e debates intermináveis, uma vez que muitas delas são reciprocamente conflitantes. O universo e a atmosfera envolvendo esta estudo são os domínios de todos esses conflitos conceptuais, observados de um ponto de vista objetivo e evolutivo. Independentemente dessa circunstância e de sua importância intrínseca, essas questões estão muito distantes da abordagem metodológica de uma discussão analítica sobre a moral objetiva, a qual é, de fato, o objetivo e o escopo deste trabalho. Devemos revisitar brevemente essas importantes teorias tradicionais, porque esta pesquisa abriga um estudo comparativo, e suas suposições pelo menos diferem profundamente de todas as teorias tradicionais. Portanto, torna-se necessário oferecer ao leitor, neste texto, elementos diretos e específicos de comparação para críticas válidas, dispensando pesquisas interruptivas. No entanto, mesmo revisitando as teorias tradicionais, para esse objetivo de exposição comparativa e crítica, elas serão mantidas ao lado de nossas principais preocupações, como " aliena materia ". Independentemente da validade de qualquer um ou de todos os elementos dessa discussão e de seu significado como universo filosófico deste trabalho, o objetivo do nosso estudo é demonstrar e justificar a existência e o significado de arquétipos morais pré-históricos surgidos diretamente dos princípios fundamentais, necessidades sociais e esforços para a sobrevivência. Esses arquétipos são a definição do fundamento essencial da ética, sua agregação ao inconsciente coletivo e organização lógica correspondente e transmissão aos estágios evolutivos do genoma humano e às diferentes relações espaço-tempo, independentemente de qualquer experiência contemporânea dos indivíduos. O sistema definido por esses arquétipos compõe um modelo social humano evolutivo. Esta é uma posição metaética? Sim, ela é. Além disso, como em qualquer raciocínio metaético, devemos procurar cuidadosamente as melhores e coerentes rotas, como a Filosofia Analítica lhes oferece. Desta forma, este trabalho deve demonstrar razoavelmente que a moral não é um produto cultural dos homens civilizados ou das sociedades modernas e que, apesar de estar sujeito a várias agregações e subtrações culturais relativas, seus fundamentos essenciais são arquetípicos e nunca mudaram estruturalmente. Esse raciocínio induz que a moralidade é um atributo primal do "homo sapiens"; não é uma propriedade e nem um acidente: integra a essência humana e pertence ao reino da identidade ontológica humana. -/- O fenômeno humano é um processo contínuo, desempenhando seu papel entre determinação aleatória e livre-arbítrio, e precisamos questionar como a moralidade começou e como chegou a nós no presente. (shrink)

Este artigo visa esclarecer a relação entre a lógica formal e a lógica especulativa. Esta relação é tal que entre os dois tipos de lógica há um desenvolvimento interno na direção de uma única noção, ou seja, a de forma lógica. Tomarei como ponto de partida a análise da lógica de Wolff e mostrarei que esta é já uma lógica que vai além do sentido meramente formalista dessa disciplina, na medida em que está já voltada para a objetividade. Na viragem (...) transcendental kantiana há, por sua vez, uma tentativa de passar das determinações conceituais abstratas para o desenvolvimento de determinações orientadas para os objetos de conhecimento e, assim, para o conteúdo do próprio conhecimento. Finalmente, o projeto lógico hegeliano é tal que não implica a saída das malhas da rede conceitual da lógica formal e transcendental, mas a investigação dessas malhas de modo a delinear a estrutura interna de cada um dos nós da rede. Mais especificamente, Hegel pretende desenvolver uma noção de forma lógica que não mais é limitada e dependente de um conteúdo externo a ela, porque é uma forma absoluta, ou seja, uma forma capaz de gerar o seu próprio conteúdo através do desenvolvimento da sua dialética imanente. (shrink)

Ponto de partida do presente artigo é uma interrogação acerca do significado existencial das proposições. Em primeiro lugar, é considerada a ideia de existência simbólica na lógica de MacColl, ao mesmo tempo que se assinalam os problemas que, na perspectiva de Bertrand Russell, estão associados com a auta-referência e o significado da classe-nula. Por outro lado, o artigo demonstra também até que ponto a própria perspectiva de Russell não está livre de problemas, de ambiguidades e de mudanças de opinião. O (...) autor do artigo partilha a crítica de Russell sobre o significado do quantificador, acabando por usar Russell contra Russell, ou seja, a réplica russelliana de 1957 a G. J. Warnock contra a réplica russelliana de 1905 a MacColl. Assim, a partir de uma análise lógica do debate entre Russell e MacColl, o artigo procede a uma investigação da relação entre Lógica e Ontologia, considerando de um modo especial o caso dos objectos não-existentes. /// Moving from a technical, logical point of view in the RusselUMacColl debate about the existential import of propositions and the significance of the null-class, the paper tries to inquiry the relationship between logic and ontology, considering in special the case ofnon existing objects, Russell's philosophical treatment of the existential quantification gains his full meaning in his realistic perspective. But it is possible to use this treatment versus Russell intentions, to deny that there is a supplementary (in space-time) existence, that "lies wholly outside Symbolic Logic". (shrink)

No presente artigo visamos contribuir do ponto de vista teórico-metodológico com os debates pertinentes à História da historiografia da Sétima Arte nacional, problematizando hermeneuticamente a obra Historiografia clássica do cinema brasileiro: metodologia e pedagogia, do crítico cinematográfico Jean-Claude Bernardet. Como arcabouço teórico-metodológico, nos munimos das reflexões de Michel de Certeau acerca do lugar social, político, econômico e cultural dos pesquisadores da História, sobretudo um de seus elementos primordiais: o “não-dito”, bem como das propostas do teórico alemão Jörn Rüsen no tocante (...) ao método hermenêutico aplicado na produção do conhecimento histórico. (shrink)

O artigo trata da relação entre Humanidades, Ciências Humanas e Sociais e Filosofia, considerada à luz dos projetos pedagógico e epistêmico das humanidades clássicas, tendo por fio condutor a Renascença italiana e os Studia Humanitatis, com a Filosofia como disciplina-piloto. Ao fazer o trânsito para a modernidade, com o surgimento das ciências humanas e sociais e o descentramento da filosofia, haverá o colapso dos projetos pedagógico e epistêmico dos Studia dos renascentistas, num ambiente de pesada cultura disciplinar, tendo por (...) resultado a ultrafragmentação do conhecimento, levada a cabo sem qualquer perspectiva de unificação. O resultado é o mal-estar epistemológico, que vai junto com a ideia de perda de relevância da filosofia, ao se ver afastada dos processos pedagógico e epistêmico das ciências, e, paralelamente, das próprias disciplinas científicas, impedidas, em razão da ultrafragmentação, de nos dar uma visão unificada da humanidade e da realidade humana circundante. Tal situação levará ao questionamento acerca da oportunidade de relançamento do projeto pedagógico-epistêmico das Humanidades Clássicas, visando vencer o mal-estar epistemológico e a síndrome da irrelevância da filosofia e das ciências empíricas do homem. Contudo, como mostraremos, tal relançamento não poderá consistir numa volta aos Studia ou em sua retomada pura e simples, mas deverá dar-se em novas bases científicas e filosóficas, levado a cabo em bases interdisciplinares, e não mais holísticas, com a filosofia como disciplina-piloto, como na Renascença. Neste cenário, o Brasil será considerado e uma proposta condizente com o nosso contexto acadêmico e a realidade nacional nos dias de hoje será feita. (shrink)